Connection Relations in Mereotopology
نویسندگان
چکیده
We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their connection primitives, and (ii) the composition of their intended domains (e.g., whether or not they allow for boundary elements).
منابع مشابه
A 4-Dimensionalist Mereotopology
We develop a formal ontology within the four dimensionalist (4D) paradigm by showing how the algebraic description of spatial mereotopology – a Boolean algebra equipped with a connection relation – can be enriched to provide a mereotopology in which the entities are spatio-temporal, rather than spatial, regions. With the 4D approach it is natural to identify a period of time with all of space d...
متن کاملA Four-Dimensionalist Mereotopology
We develop a formal ontology within the four dimensionalist (4D) paradigm by showing how the algebraic description of spatial mereotopology – a Boolean algebra equipped with a connection relation – can be enriched to provide a mereotopology in which the entities are spatio-temporal, rather than spatial, regions. With the 4D approach it is natural to identify a period of time with all of space d...
متن کاملA Necessary Relation Algebra for Mereotopology
We show that the basic operations of the relational calculus on a “contact relation” generate at least 25 relations in any model of the Region Connection Calculus [33], and we show how to interpret these relations in the collection of regular open sets in the two-dimensional Euclidean plane.
متن کاملOn Parts and Holes: The Spatial Structure of the Human Body
Spatial representation and reasoning is a central component of medical informatics. The spatial concepts most often used in medicine are not the quantitative, point-based concepts of classical geometry, but rather qualitative relations among extended objects such as body parts. A mereotopology is a formal theory of qualitative spatial relations, such as parthood and connection. This paper consi...
متن کاملMereotopology for product modelling A new framework for product modeling based on logic
Mereotopology is the branch of logic that treats the qualitative formalisation of parthood and connection relations between entities. Although it has apparently not yet found use in spatial reasoning for designed product modelling, the author proposes that it is well suited to the task. This paper introduces mereotopology and discusses some of the principles guiding the development of design me...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998